Research on effective factors on Verification Results in Software Systems
نویسندگان
چکیده
Verification is one of the important sections of producing a software system. Several factors can influence on verification result. In this research, we analyze important factors on verification results and then we explain some verification techniques and software systems briefly. As verification result is sensitive highly in multilayer systems, we present a solution. By this solution, we can guarantee correctness and accuracy of verification results in multilayer systems by using static and dynamic verification techniques and reduce probability of errors in verification results of multilayer systems widely.
منابع مشابه
مقایسه عوامل مؤثر بر خواب از دیدگاه پرستاران و بیماران
Background & Aim: One of the responsibilities of nurses is to identify of effective factors on sleeping, because identification of these factors prevents from occurrence of sleep disorders, improves sleeping, decreases duration of hospitalization, and reduces use of hypnotic drugs. Methods & Materials: This research is a comparative descriptive study. The population under research was included ...
متن کاملA Systemc/simulink Co-simulation Environment of the Jpeg Algorithm
In the past decades, many factors have been continuously increasing like the functionality of embedded systems as well as the time-to-market pressure has been continuously increasing. Simulation of an entire system including both hardware and software from early design stages is one of the effective approaches to improve the design productivity. A large number of research efforts on hardware/so...
متن کاملA hybrid approach to quantify software reliability in nuclear safety systems
Technological advancements have led to the use of computer based systems in safety critical applications. As computer based systems are being introduced in nuclear power plants, effective and efficient methods are needed to ensure dependability and compliance to high reliability requirements of systems important to safety. Even after several years of research, quantification of software reliabi...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملInhibiting factors on adoption of pressurized irrigation methods according to drought zoning in Northwestern Iran (Ardabil province)
In this study was examined the factors affecting the unwillingness to adopt pressurized irrigation methods among farmers' groups (with different levels of drought) in Ardabil province (Iran). Mixed method (Qualitative – Quantitative paradigm) was used for doing this research. First, by drought zoning of Ardabil province (by SPI method and GIS), three regions included the mild, moderate and seve...
متن کامل